((v1 v1 7) (v2 v2 7))
14
()